import*as e from"./workspace.js";self.Workspace=self.Workspace||{},Workspace=Workspace||{},Workspace.FileManager=e.FileManager.FileManager,Workspace.UISourceCode=e.UISourceCode.UISourceCode,Workspace.UISourceCode.Events=e.UISourceCode.Events,Workspace.UISourceCode.Message=e.UISourceCode.Message,Workspace.UISourceCode.Message.Level=e.UISourceCode.Message.Level,Workspace.UILocation=e.UISourceCode.UILocation,Workspace.UISourceCodeMetadata=e.UISourceCode.UISourceCodeMetadata,Workspace.Workspace=e.Workspace.WorkspaceImpl,Workspace.Workspace.Events=e.Workspace.Events,Workspace.Project=e.Workspace.Project,Workspace.projectTypes=e.Workspace.projectTypes,Workspace.ProjectStore=e.Workspace.ProjectStore;
